Abstract logic - PDFSEARCH.IO - Document Search Engine

Abstract logic
Results: 1693

#	Item
571	Batch Steganography and the Threshold Game Andrew D. Ker Oxford University Computing Laboratory, Parks Road, Oxford OX1 3QD, England ABSTRACT In Batch Steganography we assume that a Steganographer has to choose how to al Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2007-04-03 07:30:40 Entailment Logic Steganography Distribution
572	An Operational and Axiomatic Semantics for Non-determinism and Sequence Points in C Robbert Krebbers ∗ ICIS, Radboud University Nijmegen, The Netherlands Add to Reading List Source URL: robbertkrebbers.nl Language: English - Date: 2013-11-12 14:05:28 Logic in computer science Forcing Deduction Combinatory logic Lambda calculus Denotational semantics Valuation Symbol Entailment Logic Abstract algebra Mathematical logic
573	Logic-based Benders Decomposition for Alternative Resource Scheduling with Sequence Dependent Setups Tony T. Tran and J. Christopher Beck1 Abstract. We study an unrelated parallel machines scheduling problem with sequenc Add to Reading List Source URL: tidel.mie.utoronto.ca Language: English - Date: 2012-12-18 10:57:27 Mathematical optimization Theoretical computer science Job shop scheduling Sequence-dependent setup Travelling salesman problem Optimization problem Ant colony optimization algorithms Multiprocessor scheduling Algorithm Operations research Applied mathematics Mathematics
574	Integrating Formal Program Verification with Testing Cyrille Comar, Johannes Kanig and Yannick Moy AdaCore, 46 rue d’Amsterdam, FParis (France) {comar,kanig,moy}@adacore.com Abstract Verification activities mand Add to Reading List Source URL: www.adacore.com Language: English - Date: 2012-03-18 14:32:40 Logic in computer science SPARK Subroutine Postcondition Formal methods Formal verification KeY Precondition Global variable Software engineering Computer programming Computing
575	Cybernetics & Human Knowing, Vol.7, no.4, 2000, pp. 91–95 Virtual Logic — Formal Arithmetic Louis H. Kauffman I. Introduction Add to Reading List Source URL: www.imprint.co.uk Language: English - Date: 2001-04-18 05:28:10 Number Laws of Form Void Multiplication 0 Prime number Reduction Arithmetic Ring Mathematics Abstract algebra Elementary arithmetic
576	Ranking Tournaments: Local Search and a New Algorithm∗ Tom Coleman† Abstract Ranking data is a fundamental organizational activity. Given advice, we may wish to rank a set of items to satisfy as much of that advice a Add to Reading List Source URL: tom.thesnail.org Language: English - Date: 2015-05-04 03:09:24 Theoretical computer science Heuristic function Directed graph Applied mathematics Mathematics Algorithm Mathematical logic
577	Open Source Software Meets Open Source Hardware: The OpenRISC 1000 Jeremy Bennett, Embecosm Abstract This paper presents the OpenRISC 1200, an open source implementation of the OpenRISC 1000 architecture, verified using Add to Reading List Source URL: www.embecosm.com Language: English - Date: 2013-01-16 23:54:46 Hardware description languages Embedded microprocessors Hardware verification languages OpenRISC Debuggers Verilator Logic design OpenCores SystemC Electronic engineering Electronics Software
578	Relational Dynamic Influence Diagram Language (RDDL): Language Description Scott Sanner () NICTA and the Australian National University Abstract The Relational Dynamic Influence Diagram Language (RDDL) i Add to Reading List Source URL: rddlsim.googlecode.com Language: English - Date: 2014-10-06 22:18:15 Automated planning and scheduling Planning Domain Definition Language Logic in computer science Semantics Boolean algebra Fluent Bernoulli distribution FO Function Mathematics Mathematical logic Theoretical computer science
579	Multimodality from the User and System Perspectives Joëlle Coutaz, Laurence Nigay, Daniel Salber CLIPS-IMAG, BP 53, 38041 Grenoble cedex email: {Joelle.Coutaz, Laurence.Nigay, Daniel.Salber}@imag.fr Abstract Add to Reading List Source URL: ui4all.ics.forth.gr Language: English - Date: 2007-11-27 14:03:30 Human–computer interaction User interfaces Modality Usability Human factors User interface Mode Modal logic Usability testing Humanâ€“computer interaction User interface techniques Multimodal interaction
580	TIME DISCRETE GEODESIC PATHS IN THE SPACE OF IMAGES B. BERKELS, A. EFFLAND, M. RUMPF Abstract. In this paper the space of images is considered as a Riemannian manifold using the metamorphosis approach [24, 34, 35], where Add to Reading List Source URL: numod.ins.uni-bonn.de Language: English - Date: 2014-05-28 03:01:12 Tensors Mathematics Calculus of variations Pullback Tangent space Symbol Partial differential equation Linear temporal logic Differential geometry Mathematical analysis Differential topology

UPDATE